Descriptive complexity of function spaces

Descriptive Complexity of Function Spaces

In this paper we show that C-k(X), the set of continuous, realvalued functions on X topologized by the pointwise convergence topology, can have arbitrarily high Borel or projective complexity in Rx even when X is a countable regular space with a unique limit point. In addition we show how to construct countable regular spaces X for which C-n(X) lies nowhere in the projective hierarchy of the co...

compactifications and function spaces on weighted semigruops

chapter one is devoted to a moderate discussion on preliminaries, according to our requirements. chapter two which is based on our work in (24) is devoted introducting weighted semigroups (s, w), and studying some famous function spaces on them, especially the relations between go (s, w) and other function speces are invesigated. in fact this chapter is a complement to (32). one of the main fea...

Descriptive and Parameterized Complexity

Experimental Descriptive Complexity

We describe our development and use of DescriptiveEnvironment (DE). This is a program to aid researchers in Finite Model Theory and students of logic to automatically generate examples, counterexamples of conjectures, reductions between problems, and visualizations of structures and queries. DescriptiveEnvironment is available for free use under an ISC license at http://www.cs.umass.edu/∼immerm...

Descriptive and Computational Complexity

Computational complexity began with the natural physical notions of time and space Given a property S an important issue is the computational complexity of checking whether or not an input satis es S For a long time the notion of complexity referred to the time or space used in the compu tation A mathematician might ask What is the complexity of expressing the property S It should not be surpri...